Dynamic Game Model for Ranking Bitcoin Transactions Under GSP Mechanism
نویسندگان
چکیده
منابع مشابه
A formal model of Bitcoin transactions
We propose a formal model of Bitcoin transactions, which is sufficiently abstract to enable formal reasoning, and at the same time is concrete enough to serve as an alternative documentation to Bitcoin. We use our model to formally prove some well-formedness properties of the Bitcoin blockchain, for instance that each transaction can only be spent once. We release an open-source tool through wh...
متن کاملCompact Confidential Transactions for Bitcoin
An enhancement is suggested to make Bitcoin transaction amounts hidden to all but the sender and receiver. In each transaction, the output amounts are encrypted with the public keys of the respective receivers. Only the transaction fee is publicly revealed, to allow miners to prioritise transactions. A homomorphic commitment for each transaction proves that the sum of the transaction inputs mat...
متن کاملToward Unlinkable Bitcoin Transactions
The appearance of Bitcoin in 2009[Nak09] has enabled the trustless transfer of funds by means of a publically verifiable distributed ledger. However, this ledger exposes all transactions, resulting in extremely poor privacy for Bitcoin users. In this paper, we describe some new technologies that would reduce the amount of publically inferrable information on the Bitcoin blockchain. We start wit...
متن کاملBitcoin Private Key Locked Transactions
Bitcoin smart contracts allow the development of new protocols on top of Bitcoin itself. This usually involves the definition of complex scripts, far beyond the requirement of a single signature. In this paper we introduce the concept of private key locked transactions, a novel type of transactions that allows the atomic verification of a given private key (belonging to an asymmetric key pair) ...
متن کاملEnhancing Bitcoin Transactions with Covenants
Covenants are Bitcoin Script programs that restrict how funds are allowed to be spent. In previous work [9], Möser et. al. implemented covenants with a new Script operation that allows one to programmatically query the transaction. In this paper, we show that covenants can be implemented with a new CHECKSIGFROMSTACK operation that verifies a signature for a message passed as an argument. When t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3001157